var class_server_1_1_properties_1_1_settings =
[
    [ "defaultInstance", "class_server_1_1_properties_1_1_settings.html#a6b8ed9a76fd3a4c340412d6e3b528af6", null ],
    [ "Default", "class_server_1_1_properties_1_1_settings.html#a5016ca6963128bfeab19a9da18169e0b", null ]
];